2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)
Автор:
A. S. Troelstra
, Автор:
H. Schwichtenberg
, Автор:
Anne S. Troelstra
Категория:
Компьютеры
Размер книги: 3.30 Mb
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Автор:
Anne S. Troelstra
Категория:
Lecture notes
Размер книги: 705 Kb
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Автор:
Anne S. Troelstra
Категория:
Lecture notes
Размер книги: 2.77 Mb
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Автор:
A. S. Troelstra
, Автор:
H. Schwichtenberg
, Автор:
Anne S. Troelstra
Размер книги: 6.14 Mb
